Theoretical computer science

Results: 9916



#Item
9419th International Symposium on Experimental Algorithms May, 2010 – Hotel Continental Terme, Ischia (Naples), Italy Call for Papers Program Committee David A. Bader (Georgia Inst. of Technology, USA)

9th International Symposium on Experimental Algorithms May, 2010 – Hotel Continental Terme, Ischia (Naples), Italy Call for Papers Program Committee David A. Bader (Georgia Inst. of Technology, USA)

Add to Reading List

Source URL: www.sea2010.unina.it

Language: English - Date: 2010-02-04 18:50:34
9422008 G¨odel Prize Citation The 2008 G¨ odel Prize for outstanding papers in the area of theoretical computer science is awarded to Smoothed analysis of algorithms: Why the simplex algorithm usually

2008 G¨odel Prize Citation The 2008 G¨ odel Prize for outstanding papers in the area of theoretical computer science is awarded to Smoothed analysis of algorithms: Why the simplex algorithm usually

Add to Reading List

Source URL: www.fmi.uni-stuttgart.de

Language: English - Date: 2012-03-23 12:01:26
    943Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1

    Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1

    Add to Reading List

    Source URL: www.db.informatik.uni-bremen.de

    Language: English - Date: 2014-12-09 04:53:38
    944Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

    Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    Language: English - Date: 2010-10-06 07:21:32
    945CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

    CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-05-19 12:03:26
    946RAC  Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences

    RAC  Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences

    Add to Reading List

    Source URL: www-i2.informatik.rwth-aachen.de

    Language: English - Date: 2006-07-26 07:36:55
    947PEER – Publishing and the Ecology of European Research PEER End of Project Results Conference Date: Time: Location:

    PEER – Publishing and the Ecology of European Research PEER End of Project Results Conference Date: Time: Location:

    Add to Reading List

    Source URL: www.peerproject.eu

    Language: English - Date: 2016-02-22 09:58:23
    948Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

    Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

    Add to Reading List

    Source URL: www.dagstuhl.de

    Language: English - Date: 2010-04-21 04:49:56
    949The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

    The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2014-05-15 11:45:56
    950Extending Catmull-Clark Subdivision and PCCM with Polar Structures Ashish Myles Kestutis Karˇciauskas

    Extending Catmull-Clark Subdivision and PCCM with Polar Structures Ashish Myles Kestutis Karˇciauskas

    Add to Reading List

    Source URL: www.ashishmyles.com

    Language: English